VDict mobile



first-order predicate calculus not found. Suggestions:

predicate logic
relational calculus
HiLog
PPLambda
predicate calculus
Second-Order Lambda-calculus
lambda-calculus
polymorphic lambda-calculus
domain calculus
filter